<?php
	$mytrustdirname = 'pico' ;
?>